Search AI Products and News

Chinese AI unicorn MiniMax accelerates IPO plans, secretly files for Hong Kong listing targeting $4B valuation, eyes A-share market. Raised $300M led by Shanghai state fund, backed by Alibaba, Tencent. Founded by ex-SenseTime execs, focuses on general AI platforms, recently launched new inference and video models.....

AI coding tool Windsurf announced the re-launch of Anthropic's Claude Sonnet 4 model, offering Pro users a monthly quota of 250 API calls (2x credit consumption). The model is known for its 72.7% performance on the SWE-bench test, supports a 200K token context window, and enables code generation and complex refactoring features. Previously, due to Anthropic's restrictions on direct access, Windsurf introduced a BYOK solution. This partnership restoration is being

Recently, the ByteDance Seed team collaborated with the University of Hong Kong and Fudan University to introduce an innovative reinforcement learning training method called POLARIS. This method successfully enhances the mathematical reasoning capabilities of small models to levels comparable to those of large models through a carefully designed Scaling RL strategy, offering a new approach for optimizing small models in the field of artificial intelligence. Experimental results show that the 4 billion parameter open-source model Qwen3-4B trained using POLARIS achieved remarkable performance on AIME25 and AIME24 mathematical tests.

TRAE.ai launches Kimi-K2 model and Grok-4(Beta). Kimi-K2 excels in code/math with MoE architecture, rivaling GPT-4.1. Easy 3-step access. International version adds Grok-4(Beta) testing alongside Claude, Gemini, GPT.....

Musk's AI model Grok4 excels in programming, creative tasks, and outperforms OpenAI o3 in 8 areas. It adapts explanations for all ages and shows potential to revolutionize work and life.....

Amazon AWS launches a new AI development tool called Kiro, focusing on the concept of specification-driven development. The tool is based on the open-source Code OSS platform and is compatible with the VS Code ecosystem. It uses AI collaboration to first generate requirement documents and system designs, then automatically generates code, test cases, and documentation, ensuring code quality. Kiro supports multimodal input and automated testing features. It is currently available for free preview, and a paid version will be released in the future. Its specification-driven development model has the potential to address maintenance challenges with AI-generated code, but the initial usage may be complex.

Chinese AI firm MiniMax raised $300M, reaching a $4B valuation. Backed by Shanghai state capital, it's now one of China's two $3B+ LLM companies. Founded by ex-SenseTime executives, with prior investments from Alibaba and Tencent, it's reportedly preparing for a Hong Kong IPO.....

Musk's xAI launched Grok4 AI chatbot, promoting 'truth-seeking' but sparking controversy. Tests show it often cites Musk's views on sensitive topics like Israel-Palestine conflict and immigration. Grok previously faced anti-Semitic content issues, highlighting risks of linking AI to founder's opinions. While Grok4 outperforms rivals in some tests, frequent errors and lack of transparency may hinder commercialization. xAI is promoting $300/month s....

Microsoft open-sources the Phi-4-mini-flash-reasoning model, specifically designed for edge devices, with inference efficiency improved by 10 times. It uses an innovative SambaY architecture to achieve efficient memory sharing, showing outstanding performance in long text generation and mathematical reasoning. Benchmark tests show its excellent long context understanding ability, with a Phonebook task accuracy rate of 78.13%. This model is suitable for educational and research fields and can run on a single GPU.

Kunlun releases Skywork-R1V3.0, an open-source multimodal model achieving expert-level reasoning. It excels in physics (52.8), logic (59.7), and math (77.1), outperforming Claude-3.7-Sonnet and GPT-4.5 with only 25K training samples.....

Elon Musk announced that xAI's new generation large model Grok4 will be released at 8 PM (11 PM Beijing Time on Thursday) this Wednesday, and the launch will be live-streamed on the X platform. Musk previously revealed that Grok has seen significant improvements, and this release will showcase xAI's latest breakthroughs in the AI field.

Musk announces Grok4 AI model launch on July 11, sparking debates on AI ethics due to controversial 'politically incorrect' responses. New rules require multi-source analysis and evidence-based disputes.....

Anthropic is testing 'Claude Neptune v3', a new AI model with strong math skills, possibly rivaling OpenAI/Google. It may be a Claude4.5 precursor or breakthrough version, aiming to lead in the competitive AI market.....

B站开源AniSora V3动漫视频生成模型，提升质量与流畅度，支持多种风格。基于CogVideoX-5B/Wan2.1-14B，优化时空掩码，新增华为NPU加速20%。扩展千万片段数据集，增强多任务处理，达到顶尖角色一致性。....

At the 17th International Exhibition of Transportation Technology and Equipment held recently, JD Logistics officially launched its self-developed unmanned light truck product - JD Logistics VAN. This unmanned light truck has a large cargo space of 24 cubic meters, making it the one with the largest cargo capacity in the logistics industry. It is expected to replace traditional 4.2-meter trucks in logistics shuttle and transfer station links. According to the introduction, JD Logistics VAN has a full-load driving range of up to 400 kilometers and is equipped with L4-level autonomous driving capabilities on public roads. This means it can drive autonomously.